PDL as a Multi-Agent Strategy Logic

We propose a new perspective on PDL as a multi-agent strategic logic (MASL). This logic for strategic reasoning has group strategies as first class citizens, and brings game logic closer to standard modal logic. We show that MASL can express key notions of game theory, social choice theory and voting theory in a natural way. We then present a sound and complete proof system for MASL. We end by tracing connections to a number of other logics for reasoning about strategies.